(assert (str.<= "abc" "acc"))
(check-sat)
